Летичевский, А.А.; Герман, В.Н.; Мороховец, М.К.; Щеголева, Н.Н.
(Кибернетика и системный анализ, 2010)
Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного ...